Mathematical Aspects of Non - Classical Logics and Fuzzy Inference
نویسندگان
چکیده
s Erich Peter Klement, Lawrence Neff Stout Editors Institut für Algebra, Stochastik und wissensbasierte math. Systeme Abt. Fuzzy Logic Laboratorium Johannes Kepler Universität, A-4040 Linz Tel.: +43 (0)732 2468 9151 Fax: +43 (0)732 2468 10 E-mail: WWW: !
منابع مشابه
Truth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملDesign and Simulation of Adaptive Neuro Fuzzy Inference Based Controller for Chaotic Lorenz System
Chaos is a nonlinear behavior that shows chaotic and irregular responses to internal and external stimuli in dynamic systems. This behavior usually appears in systems that are highly sensitive to initial condition. In these systems, stabilization is a highly considerable tool for eliminating aberrant behaviors. In this paper, the problem of stabilization and tracking the chaos are investigated....
متن کاملNumber-free Mathematics Based on T-norm Fuzzy Logic
The paper presents a form of rendering classical mathematical notions by formal theories over suitable t-norm fuzzy logics in such a way that references to real numbers are eliminated from definitions and theorems, being removed to the standard semantics of fuzzy logic. Several examples demonstrate how this move conceptually simplifies the theory in exchange for non-classical reasoning, facilit...
متن کاملFuzzy Description Logics and t-norm based fuzzy logics
Description Logics (DLs) are knowledge representation languages built on the basis of classical logic. DLs allow the creation of knowledge bases and provide ways to reason on the contents of these bases. Fuzzy Description Logics (FDLs) are natural extensions of DLs for dealing with vague concepts, commonly present in real applications. Hájek proposed to deal with FDLs taking as basis t-norm bas...
متن کاملEditorial: Special issue on non-classical mathematics
The 20th century witnessed not only incredible advances in the model theory and proof theory of classical logic, but also a corresponding advance of non-classical (or, as they are also called, non-standard) logics—i.e. the logics that either non-trivially extend, or actually compete with, classical logic of the Aristotelian, Stoic and Boolean tradition. Since the beginning of the 20th century, ...
متن کامل